Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
251	INTERACTIVE CONSTRAINT-BASED SEARCH AND REPLACE David Kurlander Steven Feiner Department of Computer Science Columbia University New York, NY 10027 Add to Reading List Source URL: kurlander.net Language: English - Date: 2008-06-20 13:22:22 Constraint Computing Constraint programming Mathematical optimization Declarative programming
252	ANSWER SET PROGRAMMING KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING USING ANSPROLOG: WWW.BARAL.US/BOOKONE Chitta Baral Department of Computer Science and Engg. Add to Reading List Source URL: www.public.asu.edu Language: English* - Date: 2004-06-18 11:01:46 Non-classical logic Reasoning Knowledge Knowledge representation Programming paradigms Knowledge representation and reasoning Non-monotonic logic Stable model semantics Default logic Science Logic programming Logic
253	Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Type theory Functional programming Dependently typed programming Models of computation System F Higher-order abstract syntax Church encoding Catamorphism Declarative programming Software engineering Mathematics
254	VPL: An Active, Declarative Visual Programming System David Lau-Kee, Adam Billyard, Robin Faichney, Yasuo Kozato, Paul Otto, Mark Smith, Ian Wilkinson Canon Research Europe, Surrey Research Park, Guildford, GU2 5YD, UK. Add to Reading List Source URL: www.camazotz.com Language: English - Date: 2012-12-20 12:36:55 Dataflow Programming paradigm LabVIEW Oz Visualization User interface Database Computing Software engineering Visual programming languages
255	Dependable self-hosting distributed systems using constraints Qin Yin∗, Justin Cappos†, Andrew Baumann∗, Timothy Roscoe∗ ∗ Systems † Department Group, Department of Computer Science, ETH Zurich Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Computer programming Operations research Programming paradigms Mathematical optimization Constraint logic programming Logic programming ECLiPSe Linear programming PlanetLab Constraint programming Software engineering Declarative programming
256	EagleUP: Solving Random 3-SAT using SLS with Unit Propagation Oliver Gableske1 and Marijn Heule2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-09-26 11:40:37 Logic programming Conjunctive normal form Local search Boolean satisfiability problem DPLL algorithm Theoretical computer science Constraint programming Declarative programming
257	Chapter 29 Lightweight Invariants with Full Dependent Types Edwin Brady1 , Christoph Herrmann1 , Kevin Hammond1 Category: Position Paper Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2008-06-27 08:41:28 Functional programming Append Sort Quicksort Monad Partition Category Polymorphism Algebraic data type Software engineering Declarative programming Computing
258	TOMMASO URLI, PH.D. personal information born Gemona del Friuli (Italy), 11 March 1985 Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2015-03-02 18:12:02 Computer programming Computing Mathematical optimization Declarative programming Hyper-heuristic ECLiPSe Gecode Ant colony optimization algorithms Constraint programming Software engineering Operations research
259	Advances in Programming Languages APL8: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-15 05:36:06 Data types Functional programming Type theory Adjoint functors Monad Map Option type Type class Haskell Software engineering Declarative programming Computing
260	Advances in Programming Languages APL10: Bridging Query and Programming Languages Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-28 19:19:19 Software engineering SQL Relational database management systems Language Integrated Query Domain-specific language Declarative programming Programming language Microsoft SQL Server Stored procedure Data management Computing Query languages

UPDATE